/**
 * <copyright>
 * </copyright>
 *
 * $Id$
 */
package net.sf.parteg.base.testcasegraph.generated.validation;

import net.sf.parteg.base.testcasegraph.generated.TCGConjunction;

import net.sf.parteg.base.testcasegraph.generated.TCGOCLExpression;
import org.eclipse.emf.common.util.EList;

/**
 * A sample validator interface for {@link net.sf.parteg.base.testcasegraph.generated.TCGDisjunctiveNormalForm}.
 * This doesn't really do anything, and it's not a real EMF artifact.
 * It was generated by the org.eclipse.emf.examples.generator.validator plug-in to illustrate how EMF's code generator can be extended.
 * This can be disabled with -vmargs -Dorg.eclipse.emf.examples.generator.validator=false.
 */
public interface TCGDisjunctiveNormalFormValidator {
	boolean validate();

	boolean validateConjunctions(EList<TCGConjunction> value);

	boolean validateOriginalExpression(TCGOCLExpression value);

	boolean validateUseForTestGoals(boolean value);
}
